DFTRES

Benchmark

Model:	haddad-monmege v.1 (DTMC)
Parameter(s)	N = 100, p = 0.7
Property:	target (prob-reach)

Invocation (specific)

java -Xmx6G -XX:+UseParallelGC -jar DFTRES/DFTRES.jar -s 0 --prop target  --def N 100 --def p 0.7 --relErr 0.05 --unsafe-scheduling --fixed-batches haddad-monmege.jani

Execution

Walltime:

> 1800s (Timeout)

STDERR

Only time-accumulating or time-instant reward queries currently supported.


----------
Computation aborted after 1800.003122329712 seconds since the total time limit of 1800 seconds was exceeded.